1041. Selected reprints in software
پدیدآورنده : / edited by Marvin V. Zelkowitz
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer software,Programming languages (Electronic computers)
رده :
QA
76
.
759
.
S45
1987
1042. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
1043. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
1044. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
94
1045. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
رده :
QA
1
.
L4
v
.
94
1046. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده : sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
.
I56
76
.
642
1990
1047. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
1048. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
1049. Silicon literacies: communication, innovation and education in the electronic age
پدیدآورنده : edited by ilana snyder
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer graphics -- computer programs,، Programming )Electronic computers(
رده :
T
385
.
S57
1050. Simplified Ansi FORTRAN Iv programming
پدیدآورنده : / Gerald A. Cilver, Joan B. Silver
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : FORTRAN (Computer program language),Electronic digital computers - Programming
رده :
001
.
6424F
S587s
1976
1051. Simplified FORTRAN IV programming
پدیدآورنده : Silver, Gerald A.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : FORTRAN IV )Computer program language( , Electronic digital computers - Programming
رده :
QA
76
.
5
.
S552
1971
1052. Simplified FORTRAN IV programming
پدیدآورنده : Silver, Gerald A.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN IV )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
S552
1053. Software Engineering Environments
پدیدآورنده : Editor Pearl Brereton
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic digital computers- Programming,Computer engineering
رده :
QA
،
76
.
6
،.
S6478
،
1988
1054. Software development for engineers: with C, Pascal, C++, Assembly language, Visual Basic, HTML, JavaScript and Java
پدیدآورنده : Buchanan, William J.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
B82
1997
1055. Software engineerin
پدیدآورنده : Pratap K. J. Mohapatra
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer programming,Programming languages (Electronic computers),Electronic books., lcsh
رده :
QA
،
76
.
6
،.
M64
,
2010eb
1056. Software engineering
پدیدآورنده : Pratap K. J. Mohapatra.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M64
2010eb
1057. Software engineering
پدیدآورنده : Pratap K. J. Mohapatra.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M64
2010eb
1058. Software engineering : a programming approach
پدیدآورنده : / Doug Bell, Ian Morrey, John Pugh
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computer software - Development,Electronic digital computers - Programming
رده :
QA76
.
76
.
D47B45
1987
1059. Software engineering concepts
پدیدآورنده : FAIRLEY,RICHARD E
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER PROGRAMS
رده :
QA
76
.
6
.
F35
